静态SAT问题并行处理器的设计研究

针对SAT问题的复杂性及求解速度缓慢的问题，采用可重构器件FPGA设计，实现了静态回溯搜索算法SAT问题并行处理器，提出了研制动态SAT并行处理器的设想。     

（yxl）φ切压电石英谐振器振动模式分析

从压电方程，动力学方程入手，分析了（ｙｘｌ）φ切石英谐振器的厚度切变振动，利用自由边界条件及串联与并联谐振时的电学条件，求出了并联谐振频率和串联振频率，讨论了实测频率与频率公式存在一定偏差的原因。     

An efficient hierarchicaltraversal algorithm for ray tracing

Ray tracing has been shown to be an excellent technique for rendering realistic images. However, it is important to reduce the lengthy computation time resulting from the brute-force nature of the original ray-tracing algorithms. In this paper, two ideas are proposed to speep up the well-known hierarchical subdivision method. First, a new hierarchy traversal scheme is described to reduce the number of raybounding volume intersection tests for secondary rays. Then, a plane-sweep method is proposed to make fewer intersection checks for eye rays. Experiments and discussions are presented to prove the feasibility of our methods.     

用于X光激光实验的反射式线聚焦光学系统的设计和分析

基于三维光线追迹的象差计算,对卢瑟福实验室用离轴球面反射线聚焦系统作了分析。然后,首次提出了用于X光激光实验的两类新的反射式线聚焦构型,即反射式光楔列阵和光锥列阵系统,并作了计算。最后,对所得结果作了比较和讨论。     

Workload Distribution in Fault Simulation

Simulation at the gate level is computationally very expensive.Parallel processing is one technique to reduce simulation time.Possessing knowledge of the distribution of computational activity insimulation can aid in parallelizing it efficiently. We present a newcharacterization of the distribution of the computational workload infault simulation. An empirical analysis shows that the workloaddistribution is circuit specific, and is largely independent of thevector set being simulated. An inexpensive method to predict theworkload distribution is also discussed.     

MTPM—一种在多Transputer系统上实现OPS5并行匹配的方案

并行匹配是并行处理产生式系统的重要内容之一。本文针对现有RETE匹配算法,提出了一种自行设计的在多Transputer系统上实现OPS5并行匹配的方案,并重点讨论了实现MTPM中的一些技术问题.试验表明,MTPM提供了一条发掘产生式系统固有并行性的可能途径.     

自控温电伴热材料在仪表测量管线上的应用

文章就化工自动化仪表测量管线的伴热问题,介绍了自控温电伴热材料的特点、伴热设计、施工方案以及运行中的注意事项。     

基于集群计算机的保护定值在线校核

采用分布式计算技术，研究并实现了基于集群计算机的保护定值在线校核并行计算方法。首先分析了保护定值校核计算的计算量和计算特点，接着对可能采用的并行计算方法进行比较，最后选择了基于电网分块的并行计算方法。采用协调机加计算子机的计算模式，在协调机上执行分块算法，通过基于主导节点的图划分方法把电网分成几块，每台计算子机只校核1块电网内的保护定值，最后由协调机收集汇总计算结果。现场应用证明，该并行计算方法正确、有效。     

多级并接型权电阻DAC的设计

多级并接型权电阻解码网络结构简单，分析方便，文章给出了普通的和BCD码多级并接型权电阻解码网络，推导出了各级与运放的连接电阻的通用公式，并用EWB软件进行了电路模拟，这种方法对自行设计权电阻DAC有一定的参考价值。     

微分代数方程的一类并行算法

本文提出求解微分代数方程的一类并行算法,进行误差估计。对于一个模型问题进行稳定性分析,画出稳定区域。计算实例表明算法是有效的。